The Semantics of a Simple Language for Parallel Programming Gilles KAHN IRIA-Laboria, Domaine de Voluceau, 78150 Rocquencourt, France and Commissariat à l’Energie Atomique, France

Source URL: perso.ensta-paristech.fr

• Mathematics
• Computability theory
• Computer programming
• Theoretical computer science
• Software engineering
• Subroutines
• Recursion
• Continuous function
• Recurrence relation
• Computable topology

Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics and Abstract Machines Małgorzata Biernacka Olivier Danvy

Source URL: repository.readscheme.org

Interaction Semantics and Programming Language Compilation Ulrich Schöpp LMU Munich Introduction

Source URL: www2.tcs.ifi.lmu.de

Semantics: The goal of semantics is to define the meaning of a programming language. Prose is a bad way to do this; it is imprecise, subjective, impossible to analyze. Semantics is a collection of techniques which define

Source URL: ericmccorkleblog.files.wordpress.com

Call-by-Value in a Basic Logic for Interaction Ulrich Sch¨opp Ludwig-Maximilians-Universit¨at M¨unchen Abstract. In game semantics and related approaches to programming language semantics, programs are modelled by int

Source URL: www2.tcs.ifi.lmu.de

Semantics for a Quantum Programming Language by Operator Algebras Kenta Cho Institute for Computing and Information Sciences (iCIS) Radboud University Nijmegen, The Netherlands , http://www.cs.ru.nl/K.Cho/

Source URL: www.cs.ru.nl

A Type-Theoretic Interpretation of Standard ML Robert Harper and Christopher Stone frwh, School of Computer Science Carnegie Mellon University

Source URL: www.cs.cmu.edu

• Software engineering
• Programming language theory
• Computer programming
• Type theory
• Procedural programming languages
• Functional languages
• Logic in computer science
• Programming language semantics
• Standard ML
• Denotational semantics
• Monad
• Type system

Control-Flow Analysis of Higher-Order Languages or Taming Lambda Olin Shivers May 1991

Source URL: www.ccs.neu.edu

• Software engineering
• Computing
• Computer programming
• Logic in computer science
• Programming language implementation
• Functional languages
• Compiler construction
• Programming languages
• Denotational semantics
• Compiler
• Lisp
• Semantics

The Semantics of x86-CC Multiprocessor Machine Code Susmit Sarkar1 Scott Owens1 Tom Ridge1

Source URL: www0.cs.ucl.ac.uk

• Computing
• Computer architecture
• Software engineering
• X86 architecture
• Computer memory
• Low-level programming language
• Spinlock
• X86
• Assembly language
• Memory barrier
• Memory ordering
• Exit

Revisiting: Algebraic laws for nondeterminism and concurrency Matthew Hennessy Milner-Symposium, Edinburgh

Source URL: events.inf.ed.ac.uk

• Theoretical computer science
• Logic in computer science
• Formal methods
• Programming language semantics
• Models of computation
• Denotational semantics
• Process calculi
• Matthew Hennessy
• Semantics
• Maurice Nivat
• Bisimulation
• Negation